/* Initial beliefs */
ande.

/* Initial goal */

!check. 

/* Plans */

+!check : ande <- andando ; !check.
+!check : topo <- fromTop ; !check.
+!check : base <- FromBot ; !check.
+!check : lateralDireita <- fromRight ; !check.
+!check : lateralEsquerda <- fromLeft ; !check.